Benjamin C. Pierce - PDFSEARCH.IO - Document Search Engine

Benjamin C. Pierce
Results: 45

#	Item
31	“Types are the leaven of computer programming: they make it digestible.” - R. Milner Types à la Milner Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-04-17 18:53:47 Functional languages Procedural programming languages Type theory ML Logic in computer science Robin Milner Logic for Computable Functions Type inference Pict Software engineering Programming language theory Computing
32	The SAFE Machine An Architecture for Pervasive Information Flow Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-06-28 12:49:10 Software bugs Pointer Kernel Memory protection C 64-bit Memory safety Linux kernel Computing Software Memory management
33	Programmable Hardware Support for Ubiquitous Micro-‐Policy Enforcement André DeHon, Benjamin C. Pierce University of Pennsylvania (joint work Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-05-14 20:36:21 Computer Computing
34	A Theory of Information-Flow Labels Benoˆıt Montagu University of Pennsylvania Philadelphia, USA Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-30 03:50:37 Structure Abstract algebra Order theory Category theory Differential topology Embedding General frame Mathematics Model theory Topology
35	Micro-‐Policies A Framework for Tag-‐Based Security Monitors Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-12-29 20:43:34 Central processing unit Computer architecture Instruction set architectures DEC Alpha
36	Types Benjamin C. Pierce University of Pennsylvania Programming Languages Mentoring Workshop, Jan. 2012 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-01-24 16:24:25 Formal sciences Association for Computing Machinery Type theory Functional languages Principles of Programming Languages Formal language Formal methods Automata theory Programming language Computing Software engineering Programming language theory
37	Principles, Meet Practice An Early Retrospective on SAFE ^ (incomplete, personal...) Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-01-25 22:33:18 Operating system Computer security Mach Field-programmable gate array Google Chrome OS Ring Exokernel Computer architecture Security Kernel
38	Quotient Lenses J. Nathan Foster Alexandre Pilkiewicz Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2008-10-21 09:24:38 Optics Camera lens Bidirectional transformation Lens mounts
39	Types and Programming Languages Benjamin C. Pierce The MIT Press Cambridge, Massachusetts Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-02-01 23:40:16 Computing Data types Polymorphism Object-oriented programming Lambda calculus Subtype polymorphism Type system System F Simply typed lambda calculus Software engineering Type theory Programming language theory
40	Differential Privacy Under Fire Andreas Haeberlen Benjamin C. Pierce Arjun Narayan Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-06-07 22:45:23 Ethics Differential privacy Query languages Database management systems Privacy SQL Isolation Internet privacy Database Data management Computing Data privacy

UPDATE